Wir konnten keine exakten Treffer zu Ihrer Suche nach "model verification and validation" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
Günter Fischer: Der Bau der Cheops-Pyramide, Buch

Günter Fischer
Der Bau der Cheops-Pyramide

Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

lieferbar ab 2.12.2024.
Buch
EUR 24,00*
: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science -Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
William L Oberkampf: Verification, Validation, and Uncertainty Quantification in Scientific Computing, Buch

William L Oberkampf, Christopher J Roy
Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

Erscheint bald
Buch
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Model Validation and Uncertainty Quantification, Vol. 3, Buch

Model Validation and Uncertainty Quantification, Vol. 3

Conference Proceedings of the Society for Experimental Mechanics Series

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the third volume of ten from the Conference brings togeth…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 186,19*
: Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science -Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Colin Chen: Practical Credit Risk and Capital Modeling, and Validation, Buch

Colin Chen
Practical Credit Risk and Capital Modeling, and Validation

Management for Professionals

This book provides professionals and practitioners with a comprehensive guide on credit risk modeling, capital modeling, and validation for Current Expected Credit Loss (CECL), International Financial Rep…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 106,66*
: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science -Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
Ashley: Analysis and Validation of a Non-Isolated Cuk Converter in Continuous Conduction Mode, Buch

Ashley
Analysis and Validation of a Non-Isolated Cuk Converter in Continuous Conduction Mode

As per the control-to-output voltage transfer function Tp for lossless Cuk converter, the conjugate complex zeros are on the right-half plane zeros. The behavior of zeros for variation in the duty cycle …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 28,89*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.